Higher-order functions - PDFSEARCH.IO - Document Search Engine

Higher-order functions
Results: 290

#	Item
111	R-Gtk Bindings Duncan Temple Lang November 15, 2004 Abstract The Gnome desktop and related tools are becoming quite mature and are available on many machines and different platforms. Building GUIs within R is also becomi Add to Reading List Source URL: www.omegahat.org Language: English - Date: 2011-12-07 09:41:21 Subroutines Higher-order functions GTK+ Application programming interfaces Map Fold Main function Python GNOME Computing Software engineering Software
112	Cycles without pollution: a gradual typing poem Sam Tobin-Hochstadt1 and Robert Bruce Findler2 1 2 Northeastern University Add to Reading List Source URL: www.ccs.neu.edu Language: English - Date: 2015-03-24 18:44:54 Functional languages Data types Functional programming Procedural programming languages Higher-order functions Type system ML Toro Rosso STR2 Immutable object Software engineering Computing Computer programming
113	(An Introduction To) Functional Programming Sean Corfield Railo Technologies, Inc. cf.Objective(), May 12-14, 2011 Minneapolis, MN Add to Reading List Source URL: corfield.org Language: English - Date: 2011-05-14 11:58:01 Functional languages Higher-order functions Functional programming Programming paradigms Lisp programming language Railo Lisp Clojure ColdFusion Markup Language Software engineering Computing Computer programming
114	FOR INTERNAL SCRUTINY (date of this version: UNIVERSITY OF EDINBURGH COLLEGE OF SCIENCE AND ENGINEERING SCHOOL OF INFORMATICS FUNCTIONAL PROGRAMMING AND SPECIFICATION Add to Reading List Source URL: homepages.inf.ed.ac.uk Language: English - Date: 2010-05-12 04:27:31 Higher-order functions Recursion Fold Binary tree String Function Computing Mathematics Software engineering
115	Standalone Tactics using OpenTheory Ramana Kumar?1 and Joe Hurd2 1 University of Cambridge Add to Reading List Source URL: www.gilith.com Language: English - Date: 2012-06-04 20:10:04 Logic in computer science Automated theorem proving Formal methods Proof assistant Isabelle HOL Automated reasoning Logic for Computable Functions Theorem Proving in Higher-Order Logics Theoretical computer science Mathematical software Mathematics
116	From Variadic Functions to Variadic Relations A miniKanren Perspective William E. Byrd and Daniel P. Friedman Department of Computer Science, Indiana University, Bloomington, IN 47408 {webyrd,dfried}@cs.indiana.edu Add to Reading List Source URL: www.schemeworkshop.org Language: English - Date: 2011-08-12 16:48:15 Higher-order functions Fold Recursion Variadic function Functional programming FO Function Arity Append Software engineering Computing Computer programming
117	A Variadic Extension of Curry’s Fixed-Point Combinator Mayer Goldberg ()∗ Department of Computer Science Ben Gurion University, Beer Sheva 84105, Israel Add to Reading List Source URL: repository.readscheme.org Language: English - Date: 2010-10-22 08:05:29 Lambda calculus Subroutines Recursion Higher-order functions Functional programming Fixed-point combinator Variadic function Combinatory logic Fold Software engineering Computing Declarative programming
118	OpenTheory: Package Management for Higher Order Logic Theories Joe Hurd Galois, Inc. Add to Reading List Source URL: www.gilith.com Language: English - Date: 2009-08-21 07:30:13 Automated theorem proving Logic in computer science Mathematical logic Formal methods Isabelle Proof assistant Mathematical proof Logic for Computable Functions Theorem Theoretical computer science Mathematics Logic
119	A lower bound on the higher order nonlinearity of algebraic immune functions Claude Carlet, INRIA Projet CODES, BP 105, 78153 Le Chesnay Cedex, France e-mail: also member of the University of Paris Add to Reading List Source URL: eprint.iacr.org Language: English - Date: 2005-12-29 12:10:10 Jet Singularity theory E-function Field extension Mathematical analysis Algebraic structures Abstract algebra Mathematics Differential geometry
120	Higher-order cryptanalysis of LowMC Christoph Dobraunig, Maria Eichlseder, and Florian Mendel IAIK, Graz University of Technology, Austria Abstract. LowMC is a family of block ciphers dev Add to Reading List Source URL: eprint.iacr.org Language: English - Date: 2015-04-30 15:22:15 Stream ciphers Abstract algebra Linear algebra Cryptographic hash functions Linear cryptanalysis ICE VEST Q Grain Cryptography Algebra Mathematics

UPDATE